English computer operator's manual: translation to other languages